remove{-}repeats(${\it eq}$; $L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$l{-}union(${\it eq}$; []; $L$)